Fix typo in earlier cl.texi change
authorGlenn Morris <rgm@gnu.org>
Tue, 30 Oct 2012 19:23:13 +0000 (15:23 -0400)
committerGlenn Morris <rgm@gnu.org>
Tue, 30 Oct 2012 19:23:13 +0000 (15:23 -0400)
commit6c58d6d9effe00044b00089ccbd1094e5e5b69b7
tree762429fd493107d41b10d690f7e2834062db0c45
parent4dfbc9beced87ac9f3b0c605af954c473c8e64aa
Fix typo in earlier cl.texi change
doc/misc/cl.texi